COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00049 ENDMK
C⊗;

2nd Drawer - lst file - west wall

MCCARTHY NOTES

Patience
Performances in Dinkelspiel Auditorium; November Sat. 16, Sun. 17,
Fri. 22, Sat. 23 at 8:00pm; Matinee Sun. November 24 2:30 pm.

Tickets $6.50 general; $4.00 students;
at Tresidder Union Box Office (497-4317) or Stanford Barn.


jmc - First of all it's "it's" not "its".  Second the Random House dictionary
is what the name suggests.  There are two meanings, and English will be
a better communication medium if people adhere to the meaning of "flout"
as "ostentatiously disdain or disobey" and "flaunt" as "ostentatiously display".

Eric Marti, 805 963-5993 Reason magazine

Cafe Parisienne, 7:30, 3100 Washington Blvd. Marina del Rey, cross Lincoln

Donald McIntosh, 606 436-5486
The Ten Commandments Fund
Box 28, Bulan, Kentucky 41722


Jay Perrine, Econ Inc. 408 249-6364
is looking for an AI consulting firm.
User of "model" would answer questions about payload, etc.
and it would say what he needs in the way of boosters and
what it would cost.

L.A. airport Sheraton, 213 642-1111 room 1477

CAte
tax running out Allegheny power
Delver Allegheny power
bring Cate copy of dividend reinvestment



Garo Keremidjian, CIA project for AI panels, session on expert systems
technology, common sense reasoning, propose week of Feb 17
one day session, 30 to 45 minute lecture, related to description of
interests given in advance.  I said it would have to be Monday.

Jan 15 discussion with John Hopcroft, roboticist
His colleagues are Dean Kraft and Christoph Hoffman
A valve takes 500 algebraic equations
Their recent work is on blending surfaces, i.e. fillets.
He sees himself better at "working for someone" than administering.
He doesn't see expert systems contributing to robotics at present.
papers:
Automatic surface generation in computer aided design - with Hoffman
The challenge of robotics for computer science - with Kraft

Jan 15 with Ralph
machine independent library of supervisor calls - interface spec.
Mike Nielsen (for Brian Reid) implemented Unix library in a non-unix
operating system which permitted C, editor, etc.
Systems should work on a variety of machines (e.g. Suns and Microvax
and now PC-RT).

ebos may not be compatible with goal of making constant system
whose manuals can be bought at the Bookstore. - Les

Sun network file system - Network File Server

855-0600,408 288 4053, 

Javed Khan,288-4178 info about pc-rt
Announcement seminar
Fri, Jan 24, 9am, 2077 Gateway Pl. 4th floor, across from Red Lion Inn

desktop model 10, 1 megabyte to 3, 40 meg disk;
 2 model 20, 1 to 3, more disk to 180, model 25, 2 to 4 meg
70 to 210, model 6151 model 10, 6150 model 20 and 25
streaming tape drive, 55meg backup tape
3 types of graphic, 2 monochrome and one color, all are APA
12, 14 and 15, extended 1000 by 768, 720 byy 512 ordinary,
1.6 to 2.1 mips, models 10 and 20 march 28, model 25, 3rd quarter
only advanced monochrome is available now
unix, C compiler,


Art Lee, alee@sushi 424-8962 wants a lisp project
hx.hal@forsythe
test
This is John McCarthy who is JMC@SU-AI.ARPA.

George Menas, Steven Bryan friend of David Chudnovsky

914 945-1233,
Computers and Mathematics, July 29-Aug 2

For correction to applications paper.
011 31 71 219479, Elma Kleikamp
       20 5803911

100n Rowe 213 472-3566, 743-8326 school

at most $100K for first year, start summer.
halpern@ibm-sj

Chris Garcia, Time

Eric Mathre, 7-1055
Randy Melen, 7-1055, can help with RT



robert ashenhurst 312 962-7454, u of chicago
promised 10-15 pages on generality in AI for Turing lecture reprint volume



J. R. Pompa, ex G.E., Honeywell
Argonne

encore strategic computing
mips
ultramax
shared memory
reduced instruction
gallum arsenide, risc mips + 1.25 micron visic cmos
common sas 
front ends 
100 mips with GAs
mipsx, handles cache better, early comm
mach to be standard in unix


For David Skeen, See "The Structure of Microcomputer File Systems"
by Donald Golden and Michael Pechura, CACM 1986 March, p. 222.  It
concerns using files made by other computers, and it may have useful
references or the authors may know something useful.

rick rashid @ cmu knows about mach

Letter to Donald Regan supportying Dixie Lee Ray for Sciece Adviser.

Chris Poda, Sytek, 966-7300 x1132, x400 protocol



cv via telex, keep ticket

grace smith, peter smith los altos

Technical accomplishments
using of programming computers

p. 149 taking vote, p. 154, Backus and Bauer at the blackboard
Federal express, 200-5354-2,
Roxy France
Time-Life Books
777 Duke St.,Room 311A
Alexandria, VA 22314
703-838-7015,7738 next week

Dantzig afternoon 31st 
Gregory
new trends in mathematics and computers
haken
david
barry trager


Spektrum der Wissenschaft, telex 841 461842
call back sdwhd d, send attention Claus Firchow

Bill Webb and Alex Morrow at IBM ACIS development

Rudolph Bayer, Munich is John Nafeh's consultant.

mohawk, cdc sorcim, contract with Siemens, CHILL compiler for switching
supercalc, Command Software → word processor, C for 8086
Simon Reyfman, Schlumberger (home: 494-0695) (office: 408 998-0123 x2278)
Reid Cummer cdc Moffett blvd. 408 744-5000, June White Rolm

$2079 each way, $4522
305 583-9318 Sue Walker Toledo
George Dantzig

Matt Rothman, Business Week profile of Raj Reddy

Mark Johnson, asst book editor, Mercury News, 408 920-5825
$150 for Roszak review due by the middle of May

Linkoping trip
1. They still need hat and ring size, and they can't interpret American
hat sizes.

2. Sandewall home phone - 13 12 12 64

3. lecture Sat. May 31, degree June 2

4. I said we'd come on the 29th or 30th and stay a week.

5. I gave the title "Logic and artificial intelligence"

6. The best way to come is via Copenhagen to Norrkoping.  They'll
meet us if notified.

Pat Smith, mgr distributed systems
Frank Tung, exploratory systems
1030 Page Mill, 1:30

Ann Gretolo 789-7763, intercepted call to Peled's number

p43
lc1 <filename>

(compile-file "alt" :o-file t :c-file t :h-file t :data-file t)

psa 8 9-10:10, AA36 1pm - 8:37, UA57, 5:20-7:35 alt via chi, UA 9:50-12:00

May 7
John Cocke says that Andy Heller would like to know about C problem.
We should check into Spector Lisp.

Kyoto Common Lisp
comes from 
IBUKI
399 Main Street
Los Altos, CA 94022
949-1126


hobbs 859-2229


40 pages 8.5 x 11, 2000 copies $1500 printing and binding
12.5 cents per copy
typesetting professionally, $1600
mailing $250
5 thousand circulation leads to about doubling costs, i.e. to
20 thousand per year.

circulation, $500 for $200
notifications of impending expiration - 
creating circulation
Beckmann?
promotion is about half the cost

SAS Ticket counter
380 World Way
Bradley International Terminal
Los Angeles, CA 90045

Hussein's reply
bboard.txt[2,2]/117p/987l

Colleen Crangle
IMSS room 33, Ventura Hall
works for Suppes, interested at his behest in Qlisp

Sue Corneille, Imperial College, 1 589-5111 x5011

Dantzig title:
Impact of linear programming on computer development.

Lucy Habib, 968-7650, 940-2324

p.157 request for GNU eMAX manual

Hyatt 4219 El Camino, 493-8000, x2544

naxos
548-1361, Stallman, 

Shankar 408 559-3291

6pm Friday, President's House, CMU
Raj, Kahn, JMC, Cerf, Danny Hillis, Don Lindberg, Jerry Popek

202 337-7600 rm 310

David Francis, sitn@sushi, 723-3816, handout coordinator

Date: Thu 14 Aug 86 19:40:02-EDT
From: Paul G. Weiss <PGW@XX.LCS.MIT.EDU>
Subject: Fixed Points

The familiar non-trivial LISP fixed point is:

The following expression is the one that was given.  Fed to Maclisp,
it indeed returns itself - converted to caps.
((lambda (X) (list X (list (quote quote) X)))
 (quote (lambda (X) (list X (list (quote quote) X)))))


What can be done for Prolog?  Ideally, I would like to find a
one-clause predicate fixed/1, with the property that fixed(Term)
is true of the Term which is the clause that defines fixed/1.

abe ? might know about von N
Abe Taub, ucb, Babbage 612 624-5050, Arthur Norberg
William Aspray

The Swedish referendum was March 23, 1980.

Bird, Reynoso and Grodin are particularly bad, but Tom Sowell recommends
voting against all but Lucas and Panelli.

Whaley, Al, 217 367-1624, 323-9492

Chen, Wen-chi
3386 Tryna Dr.
Mountain View, CA 94040
interested in meetings on computer architecture

Peter Nador
U.N. Development Program
Office for Project Execution
212 754-4924
1 United Nations Plaza
TM 920, New York, N.Y. 10017

Cont. 10:25 arr. 11:30, cont. 865
psa 216 3:25-4:25

Gladys Dickerson Baluda
Eleanor Harris 202 632-2949
Soviet Desk 202 632-3456 or 7
Ruth Nelson at SLAC
John Zimmerman

Mexican chocolate Ibarra brand
an octet of octagonal boxes

spad@yorktown
info about Imagen and Apple costs

John Justeson, advisee, 3-4642
Phd in anthro, worked on Mayan writing
will drop by c.v.
gave detailed advice
learning, inference and language are his interests,
so why should he study hardware?

36225 206 335-2491 Dirk Hubregs

Jan Van Gael, Belgium, advisee, Sept 26
Leuven U., eng. degree in cs
nat. lang and vision
rather practically oriented, knew exactly what he
wanted to take, substituted Shapiro and expert
systems for the Manna courses.
Chris Rogers, advisee, will come back at end of quarter, ai is his interest.

Greg D. Schecter, advisee from michigan, knows what he wants, Sept. 26

Paul? Rinard is the new PhD student I talked to at Golub's party.

cs306 tutor at HP
Dirk Hubregs, 206 335-2491, HPLSLA!DIRKH


Lunch with Tom Hartnett and Nafeh and Hurd.
Contract to put prolog interface on well known database managers
David Scott Warren, in technical charge

FIND/X: WITHIN LINE IN EXCH.TXT[P,DOC];
find:within line in phon[1,jmc]

Tim Fernando, phd
bs, math caltech
year at cmu with Scott
paper on Cook's notion of relative completeness

Gaudinat, Bruno, France, ecole polytechnique
lisp, prolog, expert sytems

David Teisch, Texas A&M
Lockheed, business computing
Honors co-op, switching to full time

Tandberg, Olof, Swedish Academy
Rosenblith 617 253-1990
Perhaps we should wait and see what the U.N. does.

Dr. O. T. Tandberg
Royal Swedish Academy
Box 50005
S-10405
Stockholm, SWEDEN
Telephone: 468150430
1718 10:55 11:59
also Inge Fischer-Jalmars is the expert

Ershov
Earth Stewards, 20 Soviet teenagers with two adults,
us. oct 28 in wash, week in bay,
Joan Spannagel, 968-7925 daytime number
Chet Watson, 381-8316, Global communications
staying chez Walter and Kay Hays
355 Parkside Dr. PA, 493-0788
near Alma and Oregon
prefers Mon. the 10th to Friday the 7th for seminar
857-1428,Judy Murphy, Diana Glasgow is organizing program

The mathematician recommended by Feferman is Brumfiel.
It was Ilan Vardi who taught out of Whittaker and Watson.

Henry Schein
5 Harbor Park Drove,
Fort Washington, ny 
11050
ac adaptor 100-0693
100-8904
100-0999 for the paper

That's Robert Sheldon Stein, DDS.
50 Staniford St., Boston, MA 02114
523-5451


Room 501a, bldg 500, 4:00

Wyatt Leung, EE student taking course from R. Textor came by to ask
about what was feasible in AI so he could write about social consequences.
Harangued him about harmful effects of technology assessment.

knuth, suppes, 

Daniel Verney will send me a Grenoble prolog for the Apollo
Mirko Juricev, 818 884-5515

Robert Hof, Times-Trib
asked my opinion of Xerox project to use AI to teach illiterates coming
out of high school.  I wished them luck and referred them to Suppes
for more information about what has been tried.

Boaz@csli, Lazinger
Elron, Zohar Ofir, Tel Aviv → Rosh and Cogiten are companies
Moshe Ben Basat, Tel Aviv U.

Mark Porter, advisee,utexas 82 bs in ee, trilogy → dec, took ee and cs course nco
cad for vlsi, software design of high speed tester
cs135 ← cs237 ?
interests go towards research in ai
He will bring it back and I'll sign it.

Jerry Peterson is the new Ford Inference Board member
John Glenn is the Palo Alto investor who attends Inference Board meetings

Greg O'Hair
Flinders, S. Australia, philosopher, Nov 21, wants to sit in on CS326

buy 1000 shares Gulf States Utilities at 7 5/8 with intention to
sell 10 1/2 stock for loss.

Mesa limited partnership, buy $12K worth.
T. Boone Pickens,

Dawkins, Richard - The Blind Watchmaker
McMahon and Bonner - On size and life
1.1) McMahon, Thomas A., ON SIZE AND LIFE (New York : c1983.)
       LOCATION: QH351.M34 1983: Green Stacks; Biology


Call from Linda Tarnow, Libertarian Party convention
New tools of freedom, world-wide liberation whether they want it or
not.  How and why computer technology promises to be incisive tools
for the spread of liberty, especially in the most oppressive police
states.

cbcl reprint
Please send this reprint to:
Lee Mantelman
Senior Editor
data Communications Magazine
1221 6th Ave., 41st Floor
New York, NY 10020

Colman or Kolman, Son of the Revolution
Mathematical manuscripts of Karl Marx

University→Bay→Gloria→Grace→2nd house on left→Hazel

6 and 7
buchanan, reddy, whittaker, engelhart,(halpern,vardi,fagin) schorr,
Carrie Cochran, cbs,
avoid white shirt , two of each
marriott michigan ave 6:30 dinner
send bio to ellie
Tom Engel Productions (312) 664 8141.

Final version Kansas frame paper jan 15

Brochure copy due, 7 Jan., abstract 

Filman
wics
Bruce Buchanan, historical
aaai papers
metadendral
Beach and Filman background, know repres., search,
Jim Bennett classification, a la Clancey
classify, analyze, vs. construct, 
Sanjay Mittal, Xerox, aaai paper, synthesis
know acquis. Shortliffe
explanation, Bill Swartout, isi
Mike Williams and Marilyn Stelzner, user interface
Johan de Kleer, ATMS
Nancy Martin, software eng. John Kunz methodology, Denny 
Brown, getting and maintaining stuff in the field

Simpson
	demos
find task context
need applied motivation for basic ideas
examples of task
	definite demo of common sense database
aiming toward demo in jan 88 that will do xxx
what's the mode evaluation technical progress
definite functional capabilities demoed at given times

How does the holds predicate get established, perception?

what domain?

How exactly to transfer ideas?
mcc is regarded as another research group
even in basic research there is a need computation

Processes occurring in time was the best part of the proposal, but
it would be better if cast in some domain.  That's Shoham's part.
Jim Tagnalia likes directed research.  Show me the steps that
this thing takes to get it into practical military use.

They still want to support theoretical AI research, but ...

Phone call with Amarel, Nilsson, Earnest:
1987 Jan 8, 1230

continue support basic work
in addition like connection with technology development

Les will co-ordinate
identify sub of jmc with sri, rockwell


1987 Jan 9, subscribed to Newsweek for two years for $41.50.

common sense in space

whole new opportunities

Jan 22 - interviewed by Richard Rawles of pc-world about feasibility of
sdi software for article to appear in May.

Jan 31
606 269-2170 Sarah house sitting for up to a week c/o Stephanie Russo

Ron Gatterdam, 907 474-6174, bitnet, ffrwg@alaska

Feb 5, 12:30
Jeffrey Canin from Hambrecht and Quist called to ask questions about MAD.

Hurd valentine party 2-4 Saturday, 965-7700, ask for Sherry

Paul Schindler, Information Week, Sr. editor

John Woodfill re context Feb 10 Genesereth student
wants context notes

ra
Please phone
the Greyhound bus terminal in Mountain View to see if they
have Carolyn's bag.  I suppose they telephoned, but ...
06721698 5 = Greyhound bill number, to get Carolyn's bag

That was Ralph Landau with whom I had lunch.

password=fortune

Jim Browne 471-9579, 9505
browne@utexas-20

buckley comments
combine tasks

dates on milestones


Date: 10 Mar 87 11:55:40 EST
From: Karen.Olack@h.cs.cmu.edu
Subject: Seminar - Multilisp (CMU)


Speaker:        Robert Halstead
Date:           March 16, 1987
Time:           2:00 p.m.
Place:          Wean Hall 8220
Topic:          Multilisp:  A Language for Parallel Symbolic Computing

                                ABSTRACT

Multilisp is an extension of Scheme with additional operators and
additional semantics for parallel execution.  These have been added
without removing side effects from the language.  The principal
parallelism construct in Multilisp is the "future," which exhibits some
features of both eager and lazy evaluation.  Current work focuses on
making Multilisp a more humane programming environment, on expanding the
power of Multilisp to express task scheduling policies, and on measuring
the properties of Multilisp programs with the goal of designing a
parallel architecture well tailored for efficient Multilisp execution.

Multilisp has been implemented, and runs on the shared-memory
Concert multiprocessor, using as many as 27 processors.  The
implementation uses interesting techniques for task scheduling and
garbage collection.  The task scheduler helps control excessive resource
utilization by means of an unfair scheduling policy; the garbage
collector uses a multiprocessor algorithm modeled after the incremental
garbage collector of Baker.

The talk will briefly describe Multilisp, discuss the areas of
current activity, and indicate the future direction of the project in
the areas of language design, application development, and
multiprocessor architecture.
                         John M. Mellor-Crummey
                        University of Rochester
            "Parallel Program Debugging with Partial Orders"

Parallel programs are considerably more difficult to debug than
sequential programs, because successive executions of a parallel program
often do not exhibit the same behavior.  Instant Replay is a new
technique for reproducing parallel-program executions.  Partial orders
of significant events are recorded during program execution and used to
enforce equivalence of execution replays.  This technique (1) requires
less time and space to save information for program replay than other
methods, (2) is independent of the form of interprocess communication,
(3) provides for replay of an entire program, rather than individual
processes, (4) introduces no centralized bottlenecks, and (5) does not
require synchronized clocks or globally-consistent logical time.  Some
performance results of a prototype on the BBN Butterfly [TM] Parallel
Processor will be presented, and it will be shown how Instant Replay can
be used in the debugging cycle for parallel programs.

When I saw your message, I thought it wasn't Nash, and my candidate was
Hilaire Belloc, so I looked in the Oxford Book of Quotations index under
"pelican" and found Merritt.  I never heard of him, and that's the only
quote from him in the book, so I guess he was a flash in the pan.  He was
listed as born in 1879 and so preceded Nash by perhaps a generation.
Actually, it seems to me that the limerick in question is not in Nash's
style, who maybe didn't write limericks and formed exotic rhymes
differently, and that its style was more common in the humorous verse of
the late nineteenth and early twentieth century.  However, I don't know
enough about poetic style to back up this impression.

Mar 20
Erann Gat, cs
Forrest Norrod, ee
of Virginia Tech asked about modal logic in 1st order logic

planlunch monday

northern illinois

u. of miami, jan 13 letter about visas, acm - more biography, monday april 6
929-8553, 280-2123,
cate, april 6

need to find out about how to send messages to Sloman, etc. msg.msg[1,jmc]/14p

Mike Kirsh, a.p. Pittsburgh, re Moravec ideas, 412 281-3747,

ua baggage 800 221-6903

lisa Hazen,acm, apr 14, 212 280-2123, 929-8553

chudnovsky
journal of complexity

3-1348, Staar, fri may 1, Joyce cerwin, re dinner May 1

Vladimir Alexanyan
His office numer 424-8777, his home number 949-5383.

Pape, Jerry	symbolic systems advisee, j.jpwiz@lear, 323-3974
	Pape Computers, Ace Quality Assurance
Please return her call and see if you can satisfy her.
869-7440, robin albert, acm

4.1) Langer, Jonas. THE ORIGINS OF LOGIC (Orlando [Fla.] : 1986.)
       LOCATION: BF723.R4L36 1986: Green Stacks

Event Knowledge.  Structure and Function in Development. Katherine
Nelson in collaboration with 11 others.  Erlbaum.
1) Title: Event Knowledge Structure and Function in Development
1.1) Nelson, Katherine. EVENT KNOWLEDGE (Hillsdale, N.J. : c1986.)
       LOCATION: BF723.C5N44 1986: Green Stacks

message center telegram
msg 73
3-4081

Michael Bukler
408 748-6618, digital manager

408 562-5797, Tommy Jones message relayed by Perry McCarty
re supercomputer conference

david c. 493-8000, room 2025

Hodson, F.R. Mathematics in the Archaeological and Historical Sciences
1.1) Doran, J. E. MATHEMATICS AND COMPUTERS IN ARCHAEOLOGY ([Edinburgh]
       Edinburgh University Press [1975])
       LOCATION: CC75.D63: Green Stacks; Art

Keith Clark was hoping to come by next Thursday.  Prolog+Parlog

John R. Smith, bin 43, SLAC, congratulated me on my Daily letter about SDI,
March 31.

Kevin Quinn, d.daedalus@lear wrote a good paper on causality

Anneliese Anderson 3-3139

rem 8pm 322-7638,mark strassman, videotape on sdi at Stanford

jjw, discussion of thesis progress, may 18
simulators for multi-processing
continuation passing
sorting

kirsh@ai.ai.mit.edu
617 253-6569, 253-0073 sec'y
foo

misi, galovani
edward manukian
gedanken exps in science
79 on and off till 82
u. of maryland, dept. of philosophy colleg 20742, 202 775-0537 home
301 454-2850 office
V. Shchopin, stopin, Insitute of hist. of science

/365p Virginia Mann wants vtss material before I leave
/369p Simpson message
/375p Cheadle re Kaelbling, black Friday
/376p Cheadle re Weening
expenses to Carole Hafner

Ask not what AI can do for law; rather what law can do for AI.
Law cases (lawyers) are the drosophilae of non-monotonic reasoning.

Stanford Ontology Clinic, Ontocyn is an expert system for advising those
having trouble determining what exists.

Sheila Bowman ladyb@ratliffe, Jim Browne ass't
Elizabeth Manning
Suzette Branton, Novak ass't

Mark Wells,dept. cs., u.n.m. Las Cruces, n.m.
n.m. state (general: 646-0111),646-4600

Dawkins may be neglecting episodic events.  Suppose a gene for
excess reproduction accumulates, causes excess population, which
causes a die-off of almost the whole population, e.g. from epidemics.
The territory is then colonized by immigrants from a group that
didn't suffer the epidemic, because it didn't get too dense.

Artist with nice paintings at faculty club
Anastasia Sotiropoulos

Michel Feldmann home: 42 50 66 72 one of organizers of 1987 May Paris meeting

Jeff Hinton, review of learning algorithms

Monique Baron, organized meeting with non-monotonic people in Paris 1987 May

b-partys ⊂ events1
x ε b-partys⊃ exist place x ∧ exist time x
consequence of event1

x ε b-partys ⊃ exist honoree x ∧ N is-person honoree x ∧ N (time x
=. birthday honoree x)

920-5019, reporter

Jeffrey Crelinsten, cbc radio documentary 416 657-8140

$70 to Sarah
susie would like 
boston trip

Sarah would like camera stuff, clutch, 24mm lens , FE2

Once in the future
Fp u
Gp[u ⊃ Gp ¬u]
where Fp and Gp refer to the future not counting the present.

Greg Zachary, Mercury News, personal computing in the year 2000
408 920-5019
laplace, method of constant causes, treatise on probability

I talked to Jeff Wachtel 3-2238, and he said he would try to get it
fixed today and would check on it Thursday.  He will also check on
the appropriateness of a sign forbidding drinking in that park.

sandra dp index 969-0913, computer census

Harold Stone
IBM Corp.
30 Saw Mill Rd
Hawthorne, NY 10532
914 789-7811
IEEE Piore award for Newell


keynote, influence of ai on database and information systems
make a paper - by November, camera ready March 88
Robert Meersman gets paper, Solvberg, Arne

tom burns idc 617 872 8200

Bill Mark of Lockheed has joined the Inference SAB.

Irwin Sobel called from hp at instigation of David C.
Alan Snyder → Martin Griss → Ira 
sobel@hp-labs
857-5774

Endicott House 617 326-5151


Rutie 949-0758

In case you log in while you are away, John Nafeh would like you to call
him (408) 943 1711. 

Texas parking s87.in[let,jmc]/592p

s87.in[let,jmc]/594p Hersch wants $1446 +$16.50

s87.in[let,jmc]/576p rpg wants to talk

I have a message to call Tom Burns or to have an associate call him
about a mini-supercomputer at 617 872-8200.  Please find out what he
wants and whether it has relevance.  Most likely he's just a salesman.

rem 9am Alan Snyder 857-8764
1pm Thursday
P.O. 10490, Palo Alto, 94303

William Leigh, Leigh Lecture Bureau, Princeton

SSRL 854-3300 Susan Lovegren is the Stanford contact.

212 758-2400 Donald Curry, Fitzpatrick, Cella, Harper, Cinto
IBM wants to beat patent on text processing.
213 826-5818, Edith Myers datamation

Steffen Schulz-Kramer

Zierer visa service 495-5216, Stacy

chuck 923-9294, jack keating?

Georgi Yulkin
Alex Terekhin



Vladimir phones
503 765-2111 x353 till sund
642-4531 Monday and Tuesday

Lin Fangzhen, from Peking wants visiting scholar

Ruth Levine
Standing Ovations
8380 Miramar Mall, Suite 225
San Diego 92121

Hans Morawa
Quickstorming


Date: Wed, 22 Jul 1987  10:43 EDT
From: MINSKY%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU
Subject: Natural Kinds (Re: AIList Digest   V5 #186)


About natural kinds.  In "The Society of Mind", pp123-129, I propose a
way to deal with Wittgenstein's problem of defining terms like "game"-
or "chair".  The basic idea was to probe further into what
Wittgenstein was trying to do when he talked about "family
resemblances" and tried to describe a game in terms of properties, the
way one might treat members of a human family: build, features, colour
of eyes, gait, temperament, etc.

In my view, Wittgenstein missed the point because he focussed on
"structure" only.  What we have to do is also take into account the
"function", "goal", or "intended use" of the definition.  My trick is
to catch the idea between two descriptions, structural and functional.
Consider a chair, for example.

  STRUCTURE: A chair usually has a seat, back, and legs - but
     any of them can be changed in so many ways that it is hard
     to make a definition to catch them all.

  FUNCTION: A chair is intended to be used to keep one's bottom
     about 14 inches off the floor, to support one's back
     comfortably, and to provide space to bend the knees.

If you understand BOTH of these, then you can make sense of that list
of structural features - seat, back, and legs - and engage your other
worldly knowledge to decide when a given object might serve well as a
chair.  This also helps us understand how to deal with "toy chair" and
such matters.  Is a toy chair a chair?  The answer depends on what you
want to use it for.  It is a chair, for example, for a suitable toy
person, or for reminding people of "real" chairs, or etc.

In other words, we should not worship Wittgenstein's final defeat, in
which he speaks about vague resemblances - and, in effect, gives up
hope of dealing with such subjects logically.  I suspect he simply
wasn't ready to deal with intentions - because nothing comparable to
Newell and Simon's GPS theory of goals, or McCarthy's meta-predicate
(Want P) was yet available.

I would appreciate comments, because I think this may be an important
theory, and no one seems to have noticed it.  I just noticed, myself,
that I didn't mention Wittgenstein himself (on page 130) when
discussiong the definition of "game".  Apologies to his ghost.

602 965-2855 mar 17, Golshani, Forouzan,
CS Dept. Arizona State
Phoenix conf. on computers and communications

Jan Getche
ai in education, 514 343 6509
rose britt, ee, 598-0486
723-4020

Rose Ritts, 3-4020, assu,
agreed to interview on SDI Aug 7 or 10
Mojunda
208 524 2491
aug 31 evening Salt Lake, banquet speaker, conf. ai and other innov.
applications in the nuclear industry
598-0486


alliant Pam Widrum 408 295 7222

3-4020
ritts
512 443 8059, marshal burns
Sally 214 574-6577

202 755-4615,
Vic Sirokin

9:30 723-4020 
Durand building, Durand 450

take at least one phone

212-564-8547, Novoe Russkoe Slovo

return mark call
danny ewald 471-3551
lunch mixer, fri, noon, fac. lounge

John Thomas, 202 647-1373, Richard Schifter state dept. human rights
Human Rights Bureau
Room 7802
State Dept.
2201 C St. NW
Washington, D.C. 20520

numbers for Dines Bjorner
telex 37805 ddc dk
+45 2-872622
Annie Rasmussen

Sharansky 212 877-4999?

Previous occupant Jean Rogers, now at
415 723-6084
cs dept. tressider 101

621-7800 noftsker, 621-7500 symbolics general, noftsker sec linda solimine

Bo Yang - The Ugly Chinaman, mentioned in NYT 1987 Oct 7

halpern@almvma.ibm.com
same message, better address
I'm teaching Epistemological Problems of AI, and I would
like the reference to your work or that of the others
at IBM San Jose most relevant to formalizing knowledge,
especially problems like the wise men and Mr. S and Mr. P
and "all he knows is".

Mail to User%Host@Forsythe for a Bitnet computer called "Host".

ijcai 85, moshe

wegman needs report